[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

404 404 596 667 0 0 0 0 -1

N.S.

1 1.00 1.48 1.65 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.406 2.831 5.264 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

407 407 660 691 0 0 0 0 -1

N.S.

1 1.00 1.62 1.70 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.414 0.971 5.770 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 54 152 0 0 0 0 -1

N.S.

1 1.00 0.82 2.30 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.044 0.084 3.577 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

236 236 140 670 195 176 0 0 -1

N.S.

1 1.00 0.59 2.84 0.83 0.75 0.00 0.00 -0.00

time (sec)

N/A 0.199 0.163 6.720 0.484 0.399 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

212 212 171 568 0 0 0 0 -1

N.S.

1 1.00 0.81 2.68 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.174 0.589 6.198 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

156 156 113 382 131 146 0 0 -1

N.S.

1 1.00 0.72 2.45 0.84 0.94 0.00 0.00 -0.01

time (sec)

N/A 0.123 0.134 4.165 0.476 0.405 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

132 132 141 300 0 0 0 0 -1

N.S.

1 1.00 1.07 2.27 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.424 5.300 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 85 158 63 117 0 0 -1

N.S.

1 1.00 1.18 2.19 0.88 1.62 0.00 0.00 -0.01

time (sec)

N/A 0.049 0.099 1.798 0.270 0.367 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 53 89 0 0 0 0 -1

N.S.

1 1.00 1.00 1.68 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.025 0.029 0.464 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

151 151 153 327 0 0 0 0 -1

N.S.

1 1.00 1.01 2.17 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.098 0.176 3.796 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 71 219 116 265 0 0 -1

N.S.

1 1.00 1.00 3.08 1.63 3.73 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.045 2.762 0.467 0.422 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

238 238 309 489 0 0 0 0 -1

N.S.

1 1.00 1.30 2.05 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.190 0.713 5.016 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 174 855 134 479 0 0 -1

N.S.

1 1.00 1.12 5.52 0.86 3.09 0.00 0.00 -0.01

time (sec)

N/A 0.147 0.242 4.982 0.479 0.545 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 145 437 0 489 0 0 -1

N.S.

1 1.00 0.62 1.88 0.00 2.10 0.00 0.00 -0.00

time (sec)

N/A 0.142 0.071 4.767 0.000 0.513 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

226 226 192 445 0 0 0 0 -1

N.S.

1 1.00 0.85 1.97 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.196 0.945 5.730 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

150 150 97 314 157 429 0 0 -1

N.S.

1 1.00 0.65 2.09 1.05 2.86 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.056 5.292 0.473 0.423 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

143 143 159 279 0 0 0 0 -1

N.S.

1 1.00 1.11 1.95 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.418 5.054 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 113 198 0 327 0 0 -1

N.S.

1 1.00 1.49 2.61 0.00 4.30 0.00 0.00 -0.01

time (sec)

N/A 0.057 0.274 1.615 0.000 0.408 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 72 180 70 0 0 0 -1

N.S.

1 1.00 0.86 2.14 0.83 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.032 0.023 1.880 0.283 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

229 229 301 511 0 0 0 0 -1

N.S.

1 1.00 1.31 2.23 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.192 1.706 2.415 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 114 243 144 0 0 0 -1

N.S.

1 1.00 0.72 1.54 0.91 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.115 0.061 3.431 0.269 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

329 329 405 648 0 0 0 0 -1

N.S.

1 1.00 1.23 1.97 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.288 2.864 4.922 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 161 1053 0 0 0 0 -1

N.S.

1 1.00 0.64 4.21 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.141 0.083 4.908 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 167 471 0 529 0 0 -1

N.S.

1 1.00 0.69 1.94 0.00 2.18 0.00 0.00 -0.00

time (sec)

N/A 0.149 0.116 4.944 0.000 0.407 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

224 236 225 1519 0 0 0 0 -1

N.S.

1 1.05 1.00 6.78 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.216 0.476 5.996 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 170 122 314 175 469 0 0 -1

N.S.

1 1.08 0.77 1.99 1.11 2.97 0.00 0.00 -0.01

time (sec)

N/A 0.120 0.088 4.224 0.272 0.507 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 145 101 1251 169 0 0 0 -1

N.S.

1 1.09 0.76 9.41 1.27 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.141 7.244 0.276 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 139 140 249 0 421 0 0 -1

N.S.

1 1.09 1.10 1.96 0.00 3.31 0.00 0.00 -0.01

time (sec)

N/A 0.062 0.169 2.082 0.000 0.409 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

162 174 132 1074 157 0 0 0 -1

N.S.

1 1.07 0.81 6.63 0.97 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.066 0.060 2.309 0.274 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

317 317 364 619 0 0 0 0 -1

N.S.

1 1.00 1.15 1.95 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.270 5.119 2.770 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

248 248 147 1350 0 0 0 0 -1

N.S.

1 1.00 0.59 5.44 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.140 0.271 2.954 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

479 479 468 801 0 0 0 0 -1

N.S.

1 1.00 0.98 1.67 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.390 6.200 4.615 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

338 338 218 1880 276 0 0 0 -1

N.S.

1 1.00 0.64 5.56 0.82 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.191 0.450 3.474 0.283 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A F F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 116 419 191 0 0 142 -1

N.S.

1 1.00 0.47 1.70 0.78 0.00 0.00 0.58 -0.00

time (sec)

N/A 0.097 0.067 3.648 0.280 0.000 0.000 0.456 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 93 456 0 0 0 0 -1

N.S.

1 1.00 0.64 3.14 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.118 0.193 7.062 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

110 110 74 311 62 101 0 0 -1

N.S.

1 1.00 0.67 2.83 0.56 0.92 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.096 4.526 0.505 0.369 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 75 223 0 0 0 0 -1

N.S.

1 1.00 0.85 2.53 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 0.118 5.947 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C A F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

49 49 55 123 28 72 0 40 -1

N.S.

1 1.00 1.12 2.51 0.57 1.47 0.00 0.82 -0.02

time (sec)

N/A 0.032 0.061 3.022 0.264 0.376 0.000 0.406 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 45 51 0 0 0 0 -1

N.S.

1 1.00 1.41 1.59 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.016 0.016 1.257 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 113 270 0 0 0 0 -1

N.S.

1 1.00 1.10 2.62 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.073 0.106 3.917 0.000 0.000 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B C B F C F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 57 168 73 89 0 80 -1

N.S.

1 1.00 1.19 3.50 1.52 1.85 0.00 1.67 -0.02

time (sec)

N/A 0.045 0.023 4.102 0.467 0.372 0.000 0.429 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

167 167 234 349 0 0 0 0 -1

N.S.

1 1.00 1.40 2.09 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.208 4.991 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 100 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.075 0.081 180.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 115 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.088 0.027 180.000 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

429 429 424 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.613 3.743 180.000 0.000 0.000 0.000 0.000 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

307 307 315 0 0 0 0 0 -1

N.S.

1 1.00 1.03 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.345 0.475 180.000 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 193 0 0 0 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.192 0.491 9.053 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

30 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.047 3.122 180.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

161 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.137 7.872 180.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

294 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.242 10.546 180.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

723 723 350 0 0 0 0 0 -1

N.S.

1 1.00 0.48 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.583 0.967 180.000 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

455 455 274 0 0 0 0 0 -1

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.346 0.594 180.000 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

278 278 223 0 0 0 0 0 -1

N.S.

1 1.00 0.80 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.241 0.212 180.000 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 147 0 0 0 0 0 -1

N.S.

1 1.00 0.84 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.060 180.000 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

300 300 216 0 0 0 0 0 -1

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.184 0.187 180.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

450 450 319 0 0 0 0 0 -1

N.S.

1 1.00 0.71 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.308 0.504 180.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

817 817 387 0 0 0 0 0 -1

N.S.

1 1.00 0.47 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.041 1.678 180.000 0.000 0.000 0.000 0.000 0.000

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

503 503 288 0 0 0 0 0 -1

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.629 0.737 180.000 0.000 0.000 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

302 302 229 0 0 0 0 0 -1

N.S.

1 1.00 0.76 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.365 0.160 180.000 0.000 0.000 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

188 188 264 0 0 0 0 0 -1

N.S.

1 1.00 1.40 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.218 4.217 180.000 0.000 0.000 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-2) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

336 336 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.499 1.710 180.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F(-1) F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

504 504 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.840 1.754 180.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 124 0 0 0 0 0 -1

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.053 0.055 180.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

266 266 125 0 178 175 243 0 -1

N.S.

1 1.00 0.47 0.00 0.67 0.66 0.91 0.00 -0.00

time (sec)

N/A 0.448 0.124 180.000 0.272 0.392 1.082 0.000 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

195 195 101 0 134 142 182 0 -1

N.S.

1 1.00 0.52 0.00 0.69 0.73 0.93 0.00 -0.01

time (sec)

N/A 0.307 0.097 180.000 0.261 0.339 0.516 0.000 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 73 90 76 95 105 0 -1

N.S.

1 1.00 0.65 0.80 0.68 0.85 0.94 0.00 -0.01

time (sec)

N/A 0.179 0.103 1.176 0.254 0.356 0.199 0.000 0.000

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 95 187 0 0 0 0 -1

N.S.

1 1.00 0.97 1.91 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.069 0.059 2.309 0.000 0.000 0.000 0.000 0.000

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 191 255 0 0 0 0 -1

N.S.

1 1.00 1.17 1.56 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.198 0.579 3.148 0.000 0.000 0.000 0.000 0.000

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

258 258 319 320 0 0 0 0 -1

N.S.

1 1.00 1.24 1.24 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.342 3.045 3.487 0.000 0.000 0.000 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

371 371 237 1284 326 349 0 0 -1

N.S.

1 1.00 0.64 3.46 0.88 0.94 0.00 0.00 -0.00

time (sec)

N/A 0.528 0.269 2.648 0.497 0.405 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

319 319 241 678 0 0 0 0 -1

N.S.

1 1.00 0.76 2.13 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.459 1.355 3.045 0.000 0.000 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

186 186 181 726 204 280 0 0 -1

N.S.

1 1.00 0.97 3.90 1.10 1.51 0.00 0.00 -0.01

time (sec)

N/A 0.147 0.206 1.923 0.284 0.384 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

204 204 235 527 0 0 0 0 -1

N.S.

1 1.00 1.15 2.58 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.153 0.707 1.968 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

402 402 449 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.391 0.838 0.102 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

234 234 270 582 0 0 0 0 -1

N.S.

1 1.00 1.15 2.49 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.292 1.078 3.089 0.000 0.000 0.000 0.000 0.000

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

427 427 977 0 0 0 0 0 -1

N.S.

1 1.00 2.29 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.380 75.140 0.093 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

336 336 304 2633 0 0 0 0 -1

N.S.

1 1.00 0.90 7.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.270 0.696 4.480 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

495 495 262 1952 388 432 0 0 -1

N.S.

1 1.00 0.53 3.94 0.78 0.87 0.00 0.00 -0.00

time (sec)

N/A 0.784 0.343 2.392 0.492 0.433 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

441 441 485 1721 0 0 0 0 -1

N.S.

1 1.00 1.10 3.90 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.716 2.924 2.889 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 208 1270 278 367 0 0 -1

N.S.

1 1.00 0.60 3.65 0.80 1.05 0.00 0.00 -0.00

time (sec)

N/A 0.230 0.298 1.144 0.287 0.392 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

336 336 374 1061 0 0 0 0 -1

N.S.

1 1.00 1.11 3.16 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.265 1.982 2.590 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

573 573 650 0 0 0 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.602 1.922 0.095 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

453 453 433 942 0 0 0 0 -1

N.S.

1 1.00 0.96 2.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.418 2.675 2.722 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

630 630 1129 0 0 0 0 0 -1

N.S.

1 1.00 1.79 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.621 140.868 0.098 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

426 426 583 2879 0 0 0 0 -1

N.S.

1 1.00 1.37 6.76 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.578 1.374 5.644 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-2) F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

880 880 288 2224 471 558 0 0 -1

N.S.

1 1.00 0.33 2.53 0.54 0.63 0.00 0.00 -0.00

time (sec)

N/A 1.233 0.418 2.394 0.495 0.416 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-2) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

841 841 910 2528 0 0 0 0 -1

N.S.

1 1.00 1.08 3.01 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.101 3.947 2.974 0.000 0.000 0.000 0.000 0.000

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

470 470 234 1958 337 477 0 0 -1

N.S.

1 1.00 0.50 4.17 0.72 1.01 0.00 0.00 -0.00

time (sec)

N/A 0.308 0.363 1.150 0.283 0.411 0.000 0.000 0.000

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

486 486 740 1737 0 0 0 0 -1

N.S.

1 1.00 1.52 3.57 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.440 2.374 1.861 0.000 0.000 0.000 0.000 0.000

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

836 836 963 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.842 5.205 0.094 0.000 0.000 0.000 0.000 0.000

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

607 607 554 1227 0 0 0 0 -1

N.S.

1 1.00 0.91 2.02 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.614 3.849 2.802 0.000 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

890 890 1384 0 0 0 0 0 -1

N.S.

1 1.00 1.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.923 78.801 0.099 0.000 0.000 0.000 0.000 0.000

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F(-2) F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

638 638 803 3431 0 0 0 0 -1

N.S.

1 1.00 1.26 5.38 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.795 2.170 4.304 0.000 0.000 0.000 0.000 0.000

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

421 421 255 1314 407 348 0 0 -1

N.S.

1 1.00 0.61 3.12 0.97 0.83 0.00 0.00 -0.00

time (sec)

N/A 0.390 0.341 4.258 0.504 0.460 0.000 0.000 0.000

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

355 355 295 1092 0 0 0 0 -1

N.S.

1 1.00 0.83 3.08 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.311 1.045 4.561 0.000 0.000 0.000 0.000 0.000

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F(-2) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

292 292 201 752 279 282 0 0 -1

N.S.

1 1.00 0.69 2.58 0.96 0.97 0.00 0.00 -0.00

time (sec)

N/A 0.228 0.294 3.295 0.485 0.430 0.000 0.000 0.000

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

226 226 228 563 0 0 0 0 -1

N.S.

1 1.00 1.01 2.49 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.168 0.558 4.037 0.000 0.000 0.000 0.000 0.000

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 149 314 145 218 0 0 -1

N.S.

1 1.00 0.96 2.03 0.94 1.41 0.00 0.00 -0.01

time (sec)

N/A 0.091 0.221 1.923 0.283 0.384 0.000 0.000 0.000

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 53 149 0 0 0 0 -1

N.S.

1 1.00 1.00 2.81 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.039 0.034 0.398 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

273 273 315 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.168 0.377 180.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]